(,) Int Bool ~ (Int, Bool)